PPNAL: Performance Evaluation in an Algebraic Model for Probabilistic and Non-deterministic Processes
نویسندگان
چکیده
In this paper we present an Algebraic Language which allows us to describe probabilistic and non-deterministic processes as well as to evaluate index performances: PPNAL (Performance Probabilistic and Non-deterministic Algebraic Language). We also analyse the Alternating Bit Protocol by using this language, showing the average time to send a message , taking into account that channels may fail with some known probability .
منابع مشابه
Optimizing of an Integrated Production-Distribution System with Probabilistic Parameters in a Multi-Level Supply Chain Network Considering the Backorder
One of the main arguments in the supply chain is integrated production-distribution planning. Integrated production and distribution of products in a supply chain plays an important role in reducing the costs of the chain. In this paper, a mathematical model for the integrated production-distribution problem in a three-level supply chain, including manufacturing plants, distribution centers and...
متن کاملAn example of performance evaluation by using the stochastic process algebra: ROSA
We present an algebraic language for the description of probabilistic and non-deterministic processes, which allows us to evaluate performance indexes as well as to check some temporal requirements: ROSA (Reasoning On Stochastic Algebras). As application, we analyse the Alternating Bit Protocol obtaining the average time to send a message, considering that channels may fail with a known probabi...
متن کاملRobust optimal multi-objective controller design for vehicle rollover prevention
Robust control design of vehicles addresses the effect of uncertainties on the vehicle’s performance. In present study, the robust optimal multi-objective controller design on a non-linear full vehicle dynamic model with 8-degrees of freedom having parameter with probabilistic uncertainty considering two simultaneous conflicting objective functions has been made to prevent the rollover. The obj...
متن کاملImplicational Scaling of Reading Comprehension Construct: Is it Deterministic or Probabilistic?
In English as a Second Language Teaching and Testing situations, it is common to infer about learners’ reading ability based on his or her total score on a reading test. This assumes the unidimensional and reproducible nature of reading items. However, few researches have been conducted to probe the issue through psychometric analyses. In the present study, the IELTS exemplar module C (1994) wa...
متن کاملPerformance evaluation of Iranian electricity distribution units with stochastic Data Envelopment Analysis
Performance evaluation of electricity distribution units is an important issue between researchers and regulators. Classic Data Envelopment Analysis models with deterministic data have been used by many authors to measure efficiency of power distribution units in different countries. However, Data Envelopment Analysis with stochastic data are rarely used to measure efficiency of distribution co...
متن کامل